41. Computability, complexity, and languages :
المؤلف: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
42. Computational semantics with functional programming /
المؤلف: Jan van Eijck and Christina Unger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
43. Control Flow and Data Flow:
المؤلف: edited by Manfred Broy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
44. Control of continuous linear systems
المؤلف: Najim, K.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Automatic control Mathematics ، Linear systems,، Linear control systems,، Calculus, Operational
رده :
TJ
220
.
N35
45. Control of continuous linear systems
المؤلف: / Kaddour Najim
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Linear systems- Automatic control- Mathematics,Linear control systems,Calculus, Operational
رده :
TJ220
.
N35
2006
46. Control of continuous linear systems
المؤلف: Najim, K.
المکتبة: (سمنان)
موضوع: Automatic control Mathematics ، Linear systems,، Linear control systems,، Calculus, Operational
رده :
TJ
220
.
N35
2006
47. Control systems and mathematical methods in economics :
المؤلف: Gustav Feichtinger, Raimund M. Kovacevic, Gernot Tragler, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Calculus of variations.,Control theory.,Economics.,Environmental management.,Numerical analysis.,Operations research.,Population.,Calculus of variations.,Calculus of variations.,Control theory.,Economic theory & philosophy.,Economics.,Environmental management.,Environmental management.,MATHEMATICS-- Numerical Analysis.,Numerical analysis.,Numerical analysis.,Operational research.,Operations research.,Political economy.,Population.
رده :
QA297
48. Convolutional Calculus
المؤلف: by Ivan H. Dimovski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Global analysis (Mathematics)
رده :
TK7888
.
4
B958
1990
49. Cours de calcul operationnel applique
المؤلف: / Par M. Denis - Papin [et] A.Kaufmann. Pref. de F. Esclangson,Papin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Calculus, Operational,Laplace transformation
رده :
QA
253
.
P3
50. Cours de calcul operationnel applique )Transformation de carson- Laplace(
المؤلف: Papin, Maurice Denis
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Calculus, Operational,، Laplace transformation
رده :
QA
439
.
P3
51. Cours de calcul operationnel applique(Tranformation de Carson - Laplace)
المؤلف: / par maurica denis - Papun et A. Kaufmann. Pref. de F. Esclangon,Papin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Calculus, Operational,Laplace transformation
رده :
QA
253
.
P3
52. Cyberdeterrence and cyberwar /
المؤلف: Martin C. Libicki
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Civil defense-- United States,Computer networks-- Security measures-- United States,Cyberspace-- Security measures,Cyberterrorism-- United States-- Prevention,Information warfare-- United States
53. Database systems :
المؤلف: Thomas M. Connolly, Carolyn E. Begg
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Database design,Database management,Bases de données - Conception,Bases de données - Gestion
رده :
QA76
.
9
.
D26
C648
2005
54. Database systems :
المؤلف: Thomas M. Connolly, Carolyn E. Begg
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Database design,Database design.,Database management.
55. Domains and Processes :
المؤلف: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
56. EUROSAM 84 :
المؤلف: edited by John Fitch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science, general.,Computer science.,Computer Science.
57. Einfuhrung in die Operatorenrechnung
المؤلف: Berg, Lothar.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Calculus, Operational
رده :
QA
432
.
B45
Suppl
.
58. Exercises and problems in mathematical methods of physics /
المؤلف: Giampaolo Cicogna.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical physics.,Fourier Analysis.,Functions of a Complex Variable.,Group Theory and Generalizations.,Integral Transforms, Operational Calculus.,Mathematical Methods in Physics.,Operator Theory.,Physics.,Complex analysis, complex variables.,Functional analysis & transforms.,Groups & group theory.,Integral calculus & equations.,Mathematical physics.,Mathematical physics.,Mathematics-- Algebra-- Abstract.,Mathematics-- Functional Analysis.,Mathematics-- Mathematical Analysis.,Science-- Mathematical Physics.
رده :
QC20
59. FM '99 - formal methods / 2.
المؤلف: Jeannette M. Wing ... (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
60. Formalization of Programming Concepts:
المؤلف: J Diaz
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
